SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems / Shmarov, Fedor; Paoletti, Nicola; Bartocci, Ezio; Lin, Shan; Smolka Scott, A.; Zuliani, P. - 10629:(2017), pp. 1-30. [10.1007/978-3-319-70389-3_9]
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.